Quality:
PRISM model checker - probabilistic model checker. Article "PRISM model checker" in English Wikipedia has 11.8 points for quality (as of November 1, 2023).
The article contains 2 references and 2 sections.
Since the creation of article "PRISM model checker", its content was written by 9 registered users of English Wikipedia and edited by 9 registered Wikipedia users in all languages.
The article is cited 7 times in English Wikipedia and cited 7 times in all languages.
The highest Authors Interest rank from 2001:
- Local (English): #213431 in December 2008
- Global: #485902 in December 2008
The highest popularity rank from 2008:
- Local (English): #1049544 in May 2014
- Global: #1807865 in May 2014
There is 1 language version for this article in the WikiRank database (of the considered 55 Wikipedia language editions).
The quality and popularity assessment was based on Wikipédia dumps from November 1, 2023 (including revision history and pageviews for previous years).